mathematica integrate assumptions